Evaluation à la Carte - Non-Strict Evaluation via Compositional Data Types
نویسنده
چکیده
We describe how to perform monadic computations over recursive data structures with fine grained control over the evaluation strategy. This solves the issue that the definition of a recursive monadic function already determines the evaluation strategy due to the necessary sequencing of the monadic operations. We show that compositional data types already provide the structure needed in order to delay monadic computations at any point of the computation.
منابع مشابه
Evaluation d'un test sérologique d'agglutination directe sur carte dans le diagnostic de la trypanosomose caméline à Trypanosoma evansi
Résumé : Les résultats du nouveau test sérologique d'agglutination sur carte (card agglutination t rypanosomosis test : CATT/Trypanosoma evansi) ont été comparés à ceux obtenus par la recherche directe des parasites. Cette étude a porté sur 1 093 sérums de dromadaires récoltés dans des régions septentrionales du Mali. Elle a montré une bonne corrélation entre un résultat positif obtenu par le C...
متن کاملHigher-Order Recursive Path Orderings à la carte
ion [ fx : g ` t : ` ( x : :t) : ! Application ` s : ! ` t : ` (s; t) :
متن کاملSUR LES TYPES D'HOMOTOPIE MODÉLISÉS PAR LES ∞-GROUPOÏDES STRICTS À la mémoire de Jean-Louis Loday
Résumé. L'objet de ce texte est l'étude de la classe des types d'homotopie qui sont modélisés par les ∞-groupoïdes stricts. Nous démontrons que la catégorie homotopique des ∞-groupoïdes stricts simplement connexes est équivalente à la catégorie dérivée en degré homologique d ≥ 2 des groupes abéliens. Nous en déduisons que les types d'homotopie simplement connexes modélisés par les ∞-groupoïdes ...
متن کاملParametric Compositional Data Types
In previous work we have illustrated the benefits that compositional data types (CDTs) offer for implementing languages and in general for dealing with abstract syntax trees (ASTs). Based on Swierstra’s data types à la carte, CDTs are implemented as a Haskell library that enables the definition of recursive data types and functions on them in a modular and extendable fashion. Although CDTs prov...
متن کاملStability and Growth Pact II? Let’s Move On to SGP III: “À la carte”
After the fuzziness in Europe that surrounded the implementation of the excessive deficit procedure foreseen by the Stability and Growth Pact (SGP), the European Union had to restore the credibility of the weakened fiscal rule. On March 2005, the 25 members amended the SGP. The constraint was to keep alive the Treaty of Amsterdam, which instituted the SGP. Indeed, an attempt to make major chang...
متن کامل